The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable α.

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...) great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

We investigate certain statements about factors of unary functions which have connections with weak forms of the axiom of choice. We discuss more extensively the fine structure of Howard and Rubin's Form 314 from [4]. Some of our set-theoretic results have also interesting recursive versions.

We shall investigate certain set-theoretic pigeonhole principles which arise as generalizations of the usual pigeonhole principle; and we shall show that many of them are equivalent to full AC. We discuss also several restricted cases and variations of those principles and relate them to restricted choice principles. In this sense the pigeonhole principle is a rich source of weak choice principles. It is shown that certain sequences of restricted pigeonhole principles form implicational hierarchies with respect to ZF. We state also (...) several open problems in order to indicate the extent to which the whole subject of pigeonhole principles requires further exploration. (shrink)

We translate Socrates’ famous saying I know that I know nothing into the arithmetical sentence I prove that I prove nothing. Then it is easy to show that this translated saying is formally undecidable in formal arithmetic, using Gödel’s Second Incompleteness Theorem. We investigate some variations of this Socrates-Gödel sentence. In an appendix we sketch a ramified epistemic logic with propositional quantifiers in order to analyze the Socrates-Gödel sentence in a more logical way, separated from the arithmetical context.

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, however, there (...) will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (shrink)

Concentrating on Weber's engagement with political issues and their influence over his more theoretical concepts, Mommsen offers a critical analysis of Weber's notion of democracy, distinguishing its liberal and elitist features.

We shall investigate certain statements concerning the rigidity of unary functions which have connections with forms of the axiom of choice.

This book has grown out of eight years of close collaboration among its authors. From the very beginning we decided that its content should come out as the result of a truly common effort. That is, we did not "distribute" parts of the text planned to each one of us. On the contrary, we made a point that each single paragraph be the product of a common reflection. Genuine team-work is not as usual in philosophy as it is in other (...) academic disciplines. We think, however, that this is more due to the idiosyncrasy of philosophers than to the nature of their subject. Close collaboration with positive results is as rewarding as anything can be, but it may also prove to be quite difficult to implement. In our case, part of the difficulties came from purely geographic separation. This caused unsuspected delays in coordinating the work. But more than this, as time passed, the accumulation of particular results and ideas outran our ability to fit them into an organic unity. Different styles of exposition, different ways of formalization, different levels of complexity were simultaneously present in a voluminous manuscript that had become completely unmanageable. In particular, a portion of the text had been conceived in the language of category theory and employed ideas of a rather abstract nature, while another part was expounded in the more conventional set-theoretic style, stressing intui tivity and concreteness. (shrink)

I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier version.

For each regular cardinal κ, we set up three systems of infinitary type logic, in which the length of the types and the length of the typed syntactical constructs are $\Sigma _{}$, the global system $\text{g}\Sigma _{}$ and the τ-system $\tau \Sigma _{}$. A full cut elimination theorem is proved for the local systems, and about the τ-systems we prove that they admit cut-free proofs for sequents in the τ-free language common to the local and global systems. These two results (...) follow from semantic completeness proofs. Thus every sequent provable in a global system has a cut-free proof in the corresponding τ-systems. It is, however, an open question whether the global systems in themselves admit cut elimination. (shrink)

We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.

Das onto-logische Sechseck ist eine Erweiterung des (aristotelischen) onto-logischen Vierecks um singuläre und universelle Sachverhalte. Beide Vielecke inkorporieren ontische, logische und ontisch-logische Relationen. Dies ist der Grund für die Bindestrichschreibung "ontologisch". Das onto-logische Sechseck liefert die Grundlage für eine neue Definition der Wahrheit eines Satzes.

We investigate infinitary sequent calculi which generate the finitely valid sentences of first-order logic, of simple type theory and of transitive closure logic, respectively.

Das onto-logische Sechseck ist eine Erweiterung des (aristotelischen) onto-logischen Vierecks um singuläre und universelle Sachverhalte. Beide Vielecke inkorporieren ontische, logische und ontisch-logische Relationen. Dies ist der Grund für die Bindestrichschreibung "ontologisch". Das onto-logische Sechseck liefert die Grundlage für eine neue Definition der Wahrheit eines Satzes.

In order to raise awareness of the ambiguous nature of scientific-technological progress, and of the challenging problems it raises, problems which are not easily addressed by courses in a single discipline and cannot be projected onto disciplinary curricula, Technical University of Darmstadt has established three interdisciplinary study concentrations: “Technology and International Development”, “Environmental Sciences”, and “Sustainable Shaping of Technology and Science”. These three programmes seek to overcome the limitations of strictly disciplinary research and teaching by developing an integrated, problem-oriented approach. (...) For example, one course considers fundamental nuclear dilemmas and uses role-playing techniques to address a controversy in the area of nuclear security. At the same time, incorporating interdisciplinary teaching into a university that is organized around mono- or multi-disciplinary faculties also poses a number of challenges. Recognition in disciplinary curricula, and appropriate organizational support and funding are examples of those challenges. It is expected that science and engineering students, empowered by such interdisciplinary study programmes, will be better prepared to act responsibly with regard to scientific and technological challenges. (shrink)

Modern embryology increasingly relies on descriptive and functional three dimensional (3D) and four dimensional (4D) analysis of physically, optically, or virtually sectioned specimens. To cope with the technical requirements, new methods for high detailed in vivo imaging, as well as the generation of high resolution digital volume data sets for the accurate visualisation of transgene activity and gene product presence, in the context of embryo morphology, were recently developed and are under construction. These methods profoundly change the scientific applicability, appearance (...) and style of modern embryo representations. In this paper, we present an overview of the emerging techniques to create, visualise and administrate embryo representations (databases, digital data sets, 3-4D embryo reconstructions, models, etc.), and discuss the implications of these new methods on the work of modern embryologists, including, research, teaching, the selection of specific model organisms, and potential collaborators. (shrink)

This volume focuses on the modeling of cognition, and brings together contributions from psychologists and researchers in the field of cognitive science.

Max Weber's magnum opus Economy and Society was for the most part published only after his premature death in June 1920. Only the chapters on basic sociological terms, the categories of social action, and the Three Times of Legitimate Domination were sent to the publishers by Weber himself; the other manuscripts were found in a pile on his desk. The editions by Marianne Weber and Melchior Palyi and by Johannes F. Winckelmann are in many ways unsatisfactory, and the controversy about (...) the correct composition of Economy and Society persists. This article reconstructs the origins of the various texts of Economy and Society on the basis of the available source material, notably the correspondence between Weber, Marianne Weber, and the publishers. It shows that in many ways the editions available at present do not live up to Max Weber's own intentions. Both the arrangement and the precise wording of the texts are unreliable, and the time sequence of the texts written from 1909 to 1914 and then in part rewritten and reorganized in 1919–1920 is uncertain. A segment of an earlier draft of parts of the chapter on Communities found among Weber's papers allows the conclusion that as early as 1905–1906, Weber had outlined a universal historical scheme of all known civilizations. This is to say that Economy and Society is not as closely linked to Weber's work on the Outline of Social Economics as has been previously assumed. This article offers a precise reconstruction of the complicated history of Wirtschaft und Gesellschaft. Soziologie-the exact title agreed upon by Weber and his publisher Paul Siebeck shortly before his death. It shows the development of Weber's theoretical conceptions and the corresponding changes of his terminology much more clearly, and paves the way to a better understanding of his magnum opus. (shrink)

Based on the concept of Informational Cities, which are the highly developed prototypical cities of the 21st century, we conducted a regional comparison of four Japanese cities in terms of their “cityness” and “informativeness”. The purpose of our articles is to specify the theoretical framework for measuring the informativeness and cityness level of any desired city, to quantify the chosen indicators in order to compare the investigated cities, and finally, to conclude what is their advancement level in terms of a (...) modern city of the knowledge society. Our methodology is based on a new approach to measure the position of a city in a national or a global scale, originating from information science and its indicators of the knowledge society. It includes such procedures as desktop research and bibliometrics, ethnographic field study, or grounded theory method. The investigated aspects under the notion of the informativeness level are the distinct labour market and mix of companies located in the city, as well as the progressive e-governance and advanced e-government. The notion of cityness level oscillates around the concept of space of flows in the city, including the flow of money, power, information, and human capital. In order to make our model practical and grounded on available evidence, we have chosen four Japanese cities to undergo the process. Tokyo, Yokohama, Osaka and Kyoto are big and economically significant Japanese metropolises. However, our results show that they differ from each other regarding many important aspects. We were able to quantify their performances and create a ranking. The limitation of our approach appears to be the strict quantification method that makes the cityness and informativeness levels of the cities dependent on other cities’ performances, and that does not precisely reflect the actual dimension of the differences between them. Hence, in the future work we will develop a more flexible and independent approach, enabling us to make more accurate statements on cities’ advancement unregarded the advancement level of the other metropolises. (shrink)

Across the world people in different societies structure their family relationships in many different ways. These relationships become encoded in their languages as kinship terminology, a word set that maps variably onto a vast genealogical grid of kinship categories, each of which could in principle vary independently. But the observed diversity of kinship terminology is considerably smaller than the enormous theoretical design space. For the past century anthropologists have captured this variation in typological schemes with only a small number of (...) model system types. Whether those types exhibit the internal co-selection of parts implicit in their use is an outstanding question, as is the sufficiency of typologies in capturing variation as a whole. We interrogate the coherence of classic kinship typologies using modern statistical approaches and systematic data from a new database, Kinbank. We first survey the canonical types and their assumed patterns of internal and external co-selection, then present two data-driven approaches to assess internal coherence. Our first analysis reveals that across parents’ and ego’s generation, typology has limited predictive value: knowing the system in one generation does not reliably predict the other. Though we detect limited co-selection between generations, “disharmonic” systems are equally common. Second, we represent structural diversity with a novel multidimensional approach we term kinship space. This approach reveals, for ego’s generation, some broad patterning consistent with the canonical typology, but diversity is considerably higher than classical typologies suggest. Our results strongly challenge the descriptive adequacy of the set of canonical kinship types. (shrink)

This volume offers the first English language collection of academic essays on the post-Holocaust thought of Jean Améry, a Jewish-Austrian-Belgian essayist, journalist and literary author. Comprehensive in scope and multi-disciplinary in orientation, contributors explore central aspects of Améry's philosophical and ethical position, including dignity, responsibility, resentment, and forgiveness.

Background In most European countries the attitudes regarding the acceptability of active euthanasia have clearly changed in the population since World War II. Therefore, it is interesting to know which trends in attitudes prevail among the physicians of the future. Methods The present study analyses trends in the attitudes towards active euthanasia in medical students at the Medical University of Graz, Austria. The survey was conducted over a period of 9 years, enabling us to investigate trends regarding both attitudes and (...) underlying motives. Results Acceptance of active euthanasia increased from 16.3% to 29.1% to 49.5% in the periods from 2001 to 2003/04 to 2008/09. Conclusions The survey period from 2001 to 2009 reveals a massive change in medical students' attitudes towards active euthanasia under medical supervision. Ethical convictions of medical doctors seem to fall back behind a higher valuation of the autonomy of the patient. (shrink)

The Groningen Protocol aims at providing guidance in end-of-life decision-making for severely impaired newborns. Since its publication in 2005 many bioethicists and health care professionals have written articles in response. However, only very little is known about the opinion among the general population on this subject. The aim of this study was to present the general attitude towards neonatal euthanasia (NE) among the Austrian population and the factors associated with the respondents’ opinion.

Ns2 is an open-source communications network simulator primarily used in research and teaching. Ns2 provides substantial support for simulation of TCP, routing, and multicast protocols over wired and wireless networks. Although Ns2 is a widely used powerful simulator, it lacks a way to measure networks that are used to assess reliability and performance metrics and it does not analyse the trace files it produces. The data obtained from the simulations are not straightforward to analyse. Ns2 is still unable to provide (...) any data analysis statistics or graphics as requested. Moreover, the analysis of the Ns2 trace file using any software scripts requires further steps by a developer to do data processing and then produce graphical outputs. Lack of standardisation of tools means that results from different users may not be strictly comparable. There are alternative tools; however, most of them are not standalone applications, requiring some additional libraries. Also, they lack a user-friendly interface. This article presents the architecture and development considerations for the NsGTFA tool, which intends to simplify the management and enable the statistical analysis of trace files generated during network simulations. NsGTFA runs under Windows and has a friendly graphical user interface. This tool is a very fast standalone application implemented in VC++, taking as input an Ns2 trace file. It can output two-dimensional and 3D graphs or data sets, whatever the trace file format. It is also possible to specify the output of standard network performance metrics. NsGTFA satisfies most user needs. There is no complex installation process, and no external libraries are needed. (shrink)